51![Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla](https://www.pdfsearch.io/img/f37bb5cc1655047fe55a5565d372de10.jpg) | Add to Reading ListSource URL: www.db.informatik.uni-bremen.deLanguage: English - Date: 2012-01-27 03:50:41
|
---|
52![Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender:](https://www.pdfsearch.io/img/aea13fade73a821a8cf17bcbbb0dfe2d.jpg) | Add to Reading ListSource URL: www.eziobartocci.comLanguage: English - Date: 2015-04-10 06:06:57
|
---|
53![Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan](https://www.pdfsearch.io/img/fbefb70d0782339ff246db3bbb6433e9.jpg) | Add to Reading ListSource URL: www.fm2008.abo.fiLanguage: English - Date: 2007-12-21 11:36:45
|
---|
54![Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics](https://www.pdfsearch.io/img/2ea5bcb498a247cc1513a8ce7f435741.jpg) | Add to Reading ListSource URL: ti.tuwien.ac.atLanguage: English - Date: 2012-08-24 05:32:58
|
---|
55![Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany](https://www.pdfsearch.io/img/2cf3c5e3e0dd03fde50cf47a72e53b74.jpg) | Add to Reading ListSource URL: www.cs.kun.nlLanguage: English - Date: 2002-05-29 03:53:26
|
---|
56![Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University](https://www.pdfsearch.io/img/6e87d7f440a6cab479714d27507779d7.jpg) | Add to Reading ListSource URL: www.gilvegliach.itLanguage: English - Date: 2014-02-20 13:15:14
|
---|
57![6th Symposium on Security Analytics and Automation, IEEEDiscovering Emergent Norms in Security Logs Olgierd Pieczul∗† , Simon N. Foley† ∗ Ireland † Computer 6th Symposium on Security Analytics and Automation, IEEEDiscovering Emergent Norms in Security Logs Olgierd Pieczul∗† , Simon N. Foley† ∗ Ireland † Computer](https://www.pdfsearch.io/img/8166d33c8a1e76cd16a44d80061642f9.jpg) | Add to Reading ListSource URL: www.cs.ucc.ieLanguage: English - Date: 2013-11-08 09:08:56
|
---|
58![Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University](https://www.pdfsearch.io/img/362c83a6787249d74ca30c4519ef82da.jpg) | Add to Reading ListSource URL: kuester.multics.orgLanguage: English - Date: 2015-05-08 04:15:01
|
---|
59![CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science](https://www.pdfsearch.io/img/15f8783c066cc6fbbd31ec40133f638f.jpg) | Add to Reading ListSource URL: www.cs.sun.ac.zaLanguage: English - Date: 2014-09-18 08:45:52
|
---|
60![Making Aspects Natural: Events and Composition Christoph Bockisch, Somayeh Malakuti, Mehmet Ak¸sit Software Engineering group, University of Twente, 7500 AE Enschede, The Netherlands Making Aspects Natural: Events and Composition Christoph Bockisch, Somayeh Malakuti, Mehmet Ak¸sit Software Engineering group, University of Twente, 7500 AE Enschede, The Netherlands](https://www.pdfsearch.io/img/358d89ac61712253321314688110a0da.jpg) | Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2011-04-03 09:06:12
|
---|